English translation for "quantifier-free conjunctive-normal form"

自由量词合榷式

Related Translations:

quantifier:  n.【逻辑学】限量词〔用 all, some 等语词以及前缀[词首]、符号等表示〕。

universal quantifiers:  概括性字眼

bounded quantifier:  有界量词

statement quantifier:  命题量词

quantifier elimination:  量词消去量消去

distributive quantifier:  分布数量词

unbounded quantifier:  无界量词

heterogeneous quantifier:  非纯一量词

nonstandard quantifiers:  非标准量词

quantifier scoping:  量词的辖域作用

Similar Words：

"quantifier" English translation, "quantifier elimination" English translation, "quantifier postposing transformation" English translation, "quantifier scoping" English translation, "quantifier-free" English translation, "quantifiter" English translation, "quantify" English translation, "quantify quantize" English translation, "quantifying" English translation, "quantifying risk" English translation